Словарь по логике - разделительно-категорическое умозаключение

-умозаключение, в котором одна из посылок разделительное суждение,  а другая категорическое. Р.-к. у. имеет два модуса: 1) модус утверждающе-отрицающий; 2) модус отрицающе-утверждающий. Простейшая форма модуса (1) имеет вид: S есть Р1 или P2 (первая посылка); S есть Р1 (вторая посылка); S не есть P2 (заключение). Такую форму имеет, напр., следующее умозаключение: "Жидкие коллоидные системы бывают эмульсиями либо золями. Данная жидкая коллоидная система является эмульсией. Данная жидкая коллоидная система не является золем". В таком умозаключении для обеспечения его правильности в разделительной посылке союз "или" ("либо") должен употребляться в строго разделительном смысле (см.: Дизъюнкция).

Простейшая форма модуса (2) имеет вид: S есть Р1 или P2, S не есть Р1; следовательно, S есть Р2. Пример:

Организмы бывают одноклеточными или многоклеточными.

Данный организм не является одноклеточным.

Данный организм является многоклеточным.

В таком умозаключении для обеспечения его правильности в первой посылке должны быть перечислены все члены дизъюнкции (альтернативы).